It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.

除了利用原像计算避免误判之外，该算法还将可达状态和不可达状态引入到验证过程中。

youdao

Therefore, the negative effects are the powerful supportive verification for hierarchical network models of memory.

因此，否定效应是支持记忆的层次网络模型的有力证据。

youdao